Fix out of date piece in documentation