Fix documentation for redbull script.