It is apparently not caught :( by checkstyles.