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