minor formatting tweaks

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