mantis#79, mantis#80