Taskmanager->Options are always enabled

Open Taskmanager->Options menu, try to enable/disable options there. The "tick" in front of each option does not change when clicked. However. the functionality works perfectly(the tick does not reflect the real state).