@Amedee: For clarity, this is exactly the change described in comment #30, and why the bug is now set to Fixed.
@Amedee: For clarity, this is exactly the change described in comment #30, and why the bug is now set to Fixed.