minor touchups...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>