minor changes on docs