Remove forgotten comments in previous commit ...