Version bump to 0.13.5, and minor bug-fix