minor formatting fixes: