2013-12-1 fix up