Trivial bug fixes.