Style modification.

Signed-off-by: Patrick Dinklage <pdinklag@googlemail.com>