nevermind, I hadn't checked in a while but it looks fixed now.

I don't see why you need to edit that file directly though. Just saveview() the view you want.