Minor fixes to make documentation match the reality