scpmw/ghc — pull request #4 by Tarrasch (2013-10-23 12:17:54+00:00)
Title: Small improvements

Again it's just small and I guess could just get melded into your commits to avoid having too many commits.