Anyone willing to modify the code behind wpautop must be a real whiz. I'd be too afraid of introducing a data leak or something like that. Cheers to the developer! You'd think we could spend a penny and better support some of these volunteers. Relieved it was just a simple change to make things more clear. :)