Better fixed the color coding in the updated Sect 5, to make the referee's life easier.