Two quick fixes.
fixes #75