Version 0.1: minor fix