Whitespace patch (and removal of gratuitous use of cat) by Berhnard Fischer.
1 file changed