x42 Make turtle linters happy