Bug fixing: error from automatic report 5/05/2014.