Fix silly bug found by Vasily.