Version 0.2: minor fix.