mantis bug fixed