admin: Silence a gcc warning

It can't happen, but anyways.