This comment is now wrong -- looks good to me otherwise.