Can bear this in mind for further work? This pull request hasn't changed the behaviour you rightly bring to attention.