docs minor fix