mantis bugs fixed