I've since realised it's probably a better to post a bug report here.