A minor fix to Kvantum Manager.