Fix minor formatting problem