minor fix for docs