Bug fixing: error from automatic report 2/17/2014