Fix bug introduced in 6eeff7ebf