Updating: fixing doc/BUGS/bug-2014-05-05