fixes to interface for mantis