Documentation minor fix