Fix a new trivial bug. Should be revealed in 1.02