v0.3.1.1: Bug fixes