Tiny fix for Lint