Minor fixes for documentation