Two tiny fixes, plus new syntax documentation.