Minor polishing.
Trying to fix #148.