last last last change

markup was still wrong, while lint-test gave an error, script/cibuild
is now fine.