Minor fixes and documentation changes