Sorry, mail client mangled the line wrapping. Attached patch that makes the current behaviour explicit.