fix mantis bug 3623