Restore part of erroneously removed comment