If you had any use case where it was important, please let me know! It seems to me that excessive whitespace can appear only on purpose, while a line or two would not make much difference. But perhaps that code was there for a reason, long forgotten...