A bit of cleanup

Signed-off-by: Vinzenz Feenstra <evilissimo@gmail.com>