unicode problem (non-standard epsilon) fixed.