*** WARNING: empty section in previous paragraph at line ... in file ...