Version 0.1.1: Fix a bug