Thanks to Remi Collet who pointed out to me that forgets