Restore erroneously deleted lines.

1 file changed