one last mantis change...