mantis bug fixes