fix a bug that was accidentally introduced