some minor changes on the impl doc