Bug fixing: error from automatic report 4/07/2014.