Fix a bug in 0.5.2
0.5.3