Fixes #1448. Docs error: on file-formats for RadioButton