Consider adding a note to the Standard comment about why the type name is repeated. It's been so long since I used this that it took me a minute to remember...a new user might be even more perplexed.