Fixed error that slipped into the source