Another quick CSE fix. Now done.