I told someone to do "make htmldocs" and just to be sure checked myself. Below two fixes.
Attach a file by drag & drop or click to upload