2.1.3

Another bugfix release. It contains only the patch mentioned yesterday.