More updates

I was missing some closing parents, slashes after an abbreviation dot,
etc.