Editorial notes

1) There is a line instructing indentation.