whitespace fix

Signed-off-by: Dirk Neukirchen <dirkneukirchen@web.de>