minor formatting tweak

Signed-off-by: Arvind Chembarpu <achembarpu@gmail.com>