Tiny bug fixes.