That’s all there is to do. If you deleted the file, just reboot and you’re all set!