Trivial manual fixes.