minor fix on docs