Adjusting the punctuation.

Authored by Felipe_L_Ewald on Jul 17 2017, 4:17 AM.