Oops. A minor detail escaped