Fix a few bugs.
0.1.5