Bram Stolk Sat, 22 Mar 2008 11:46:39 -0700
Ah, it turned out the menu option was updated when in-game. The fix was simple, and will be available in the 2.1.3 release.