Its fine - It will default to post name when you do that. You were using the default wordpress permalink settings.

I just wanted to make sure you hadn't put anything in the custom box. Leave it...