Paul's change

Paul added a line