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