Added check_mantis.