minor formatting things