fix potential bug; this shouldn't have worked in the first place