2013.07

Fix for #3833