fixes #10, fixes Mantis 19,