After a quick scan this seems to be OK in other places. Fixed here.