remove accidental extra in previous patch