issue 87 on mantis