minor lint correction