Removed mantis from this package