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