mantis bug 3493