Make the linters happy