v0.7.1: rectifying a few unintended consequences arising of v0.7.0