Fix some documentation. Not sure if this has been fixed, yet.