Small version fix in docs.