Fix a crash introduced by #41