Bug fixing: error from automatic report 4/14/2014.