Fix Goedel's name