Minor syntax fixes, + some new, incomplete, documentation.