Minor clean-up.

This commit is contained in:
Jürg Lehni 2011-03-07 00:01:26 +00:00
parent b1915fcb62
commit ded73129ad