PRINCE: option_text.h small update