Not going to push this any further beyond this post, but be please careful not to bloat the docs.
You could have remained explicit by removing the first occurence.