minor formatting fixes after closing an issue in github and reviewing mentioned area