Stephan's change

Here it is.