Small edits to correct some minor errors