E1S4: removed an extraneous 'of'