fix bug introduced by reshuffling in #568