Removing some spurious documentation