Ok, achei: a resposta foi realmente muito simples. Outra sessão de usuário ainda estava aberta. Minhas garotas tinham acabado de trocar de conta em vez de fazer logout. É claro que um usuário não privilegiado que está emitindo um comando de desligamento não tem nenhum direito de encerrar a sessão de outro usuário, como faria um 'encerramento do sudo'.