Correct! Once you publish a post, WordPress is smart enough not to change the slug if you change the title after that.