Pinball Heroes expansion issues

Has anyone else had a problem with the in-game trophy system for the Pinball Heroes expansion that came out yesterday? They don't activate when you earn them and whenever you go to browse the list it just displays a trophy from the Pain table. I think I have to redownload it, but I'd hate to waste a download if the file hasn't been fixed yet.

I just downloaded this last night and was wondering about this problem as well. Have you heard anything more about it?

For anyone that is wondering about this, they released a patch on Friday for this issue. Just go to update from the launch screen and you'll be good to go, ~2MB update.