First bug-fix update to version 0.1.2