Minor cosmetic change

Signed-off-by: Claudio Matsuoka <cmatsuoka@gmail.com>