Minor syntax and documentation changes