fix to the documentation