corrections between Docs and Source