Minor documentation tweaks

Something also needs to be done to the "This provides a complete implementation of this." line but I don't actually know what :)