Fixes #585

Remember to delete your openjk_sp.cfg, otherwise this change will not take effect!