Suppress annoying lint