Fix another bug in 91de612149658a71ffa3a56795a7284a9cbb6ccb.