Drop this comment. (Comment about NoType?)