Better formatting

Signed-off-by: Luca Bernardi <luka.bernardi@gmail.com>