E1S3: some minor tweaks