Bug fixing: error from automatic report 3/10/2014.