Fix bikeshed color

The bikeshed should be red, not green.