correct an implementation mistake