A bug in isClosedUnfolding