mantis 3894