Fixed bad checkstyles I committed by accident