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