Fixing little problems in docs.