But that version is more likely to confuse people. I prefer laanwj's more obvious version, even though it's one line longer.