Corrected a few things in documentation