Yup maybe. Would be good to have other points of view regarding whether we should unconditionally add "Constructor." or "Class constructor." to constructors, when there's not much more to say, or just leave it empty (which might or might not be denied by a standard).