v0.13.1 minor bug fixes