oops, leftover from debugging, good catch... fixed