PeterWAWood/Red — comment on commit d2d72e16732534092e2e9d22177595154801ca42
File:  line 0
By dockimbel:

Damn, I have hit the wrong button, my caffeine blood level is still too low. :-)

I will do the change myself as it is now merged.