ACR: Minor fixes in documentation