paul edit

I added a small edit