Minor edit

I messed it up when cleaning it!