minor cleanup

This commit is contained in:
Fabian Jakobs 2011-07-07 14:28:57 +02:00
commit 532b8c6d18