Documentation fix

An obvious documentation error.