Fix another silly bug