First fix to documentation