Fix another capitalization mismatch