Comment 5 for bug 719987

Great! Don't forget to add a comment with the revision number: "Fix on rev xxx" so that it is easy to checkout the code before a modification.