Source formatting (typo)

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