minor fix for documentation