0.1.3 release. Incremented the version number to 0.1.4dev.