Version 0.1.2: correct error from last update