Fix another small error