Ah, was just copying the style of other options in this file.