This is also a very minor change.

Due to the diff environment in the patch showing the line affected

in my patch for #4031 I'm not sure what will happen if the patch in

this submission is applied before that patch.

/Leo Bärring