Removed mantis shortcut