fix mantis bug #3578