Fix silly bug caused when fixing another silly bug in f528774b390e0a8e2068b0b24804c251ee06963f