Fix yet another silly bug