Minor quality fixes.