Fix another bug caught by prospector