Correct comment.
Initial draft of empty extension types.