Hmm... I wonder if this change is supposed to go away completely. I'll take care of it.