FIX: issue #528 (EITHER corrupts pointer arithmetic)