make code checkers happier