formatting

Signed-off-by: pedersen <jtp@cs.au.dk>