Bad characters in plugin page

We’ve recently added a new plugin to the plugin directory.

Due to a problem with the readme.txt file, the plugin page now contains some bad characters. (see link: http://wordpress.org/extend/plugins/kitchenbug/)

We’ve updated and uploaded a new readme.txt file, but the plugin page in the plugin directory still shows the chars.

Can we force an update?
Or perhaps there’s still a problem with our file?

Thanks in advance.
T