Merge pull request #1038 from Diapolo/misc
authorWladimir J. van der Laan <laanwj@gmail.com>
Thu, 5 Apr 2012 05:52:34 +0000 (22:52 -0700)
committerWladimir J. van der Laan <laanwj@gmail.com>
Thu, 5 Apr 2012 05:52:34 +0000 (22:52 -0700)
small misc syntactic fixes


Trivial merge