Bug fixing: error from automatic report 1/24/2014.