#118: minor indentations