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