Admin: make Rubocop happy

(Lazily.)