Source formatting

Signed-off-by: Henrique Vicente <henriquevicente@gmail.com>