enc-ies: Various tweakings and tidyings.