Minor lint fixes.