mantis fix