Fix a bug causing a crash when using gnng --dotty