fix bug mantis