mantis #880