Bug fixing: error from automatic report 6/23/2014.