@cpatrick  If these commented lines aren't necessary, I vote for deletion.