Very minor, but we've been removing these unsightly dots from the end of inline comments as we find them. I'll remove these ones