Fix minor formatting error.