Removing a seemingly unecessary sudo