minor fix on documentation