I was asked by Trek to capitalize them (unless I misunderstood). You can see his comment in the outdated diff. Sefanpenner's comment about it looking all good confirmed this, so I just added semicolons. Please have a chat with the team and let me know the outcome, as I'm now confused which it should be.