Another small style point: We usually put a space between the `//` and the start of the comment.