Whoops, you are right, seems I forgot to change that file after making the decision. Will be fixed!