fixed mantis bugslist