Minor bug fixes.
Release 1.5.3.