small fixes on docs