Style tweakage

Signed-off-by: Peter Kröner <peter@peterkroener.de>