Fix stupid crash introduced in the previous commit