Remove excessive double colons.
Revert automatically deleted spaces.