A little cleanup

Signed-off-by: Florian Heller <flo@cs.rwth-aachen.de>