Fix some mistakes introduced in rev. a2481f9