TraditionalOK GTK3; fix a naming typo