some minor formatting things