Mantis bug fixed