Bug fix in marking heap