Re: [GHC] #83: typo: %lt; should be <