Oops, downset-op was doing way too much work!