Fixed some out-of-date documentation