Some quick documentation fixes