minor fix for doc