fix some; to make pdf look better #36

Closed keunwoochoi closed 2 years ago