[PATCH 3/9] red: Fixes bug12763