Minor clean ups.

This commit is contained in:
Jürg Lehni 2011-05-15 18:53:09 +01:00
parent a9fbc41e15
commit d12608c708