Fix another silly mistake