... and make sure copy-and-paste with code does not fail. Also end all commands with a semicolon for Github copy button.