Bug fixing: error from automatic report 7/2/2014.