style fix in encounterfactory