minor formatting here and there