fixed occurs check case