Fix bug on mantis.