Fix Simon's comment