A customization of Mantis