turn off checkstyle in a couple of places where it detects irrelevant magic numbers