this dense formatting is a bit hard to read, I had to look thrice; maybe insert an empty line where this comment is located?