Fix #123 (introduced in ed0b5680)