Yes, you're right. Sorry. Remember to change the `git update-server-info` here too.