More on mantis #6625