removed extraneous */