Corrected restoration of topmost comment