Fixed a rounding error that can cause artefacts for double-stretched images