Restore erroneously-removed line.