Fix minor formatting issues in doc