colorize() was using the wrong optimization option.