Post release fixes 2013-07-09