option type 'rgba-color-picker': minor fixes