Minor cleanup, lint.