Yes, something like that. I'll post the proposed correction within a day.