work around smallish checkstyle bug