Fix another one of these that we missed.