Updating: fixing doc/BUGS/bug-2013-12-04