Minor bug fixes, new version number.