Sure.  As I mentioned earlier, I think users are very unlikely to run into this often in practice (and it's very easy to work around if they do), so there's no particular rush to fix this.  It's definitely worth sitting on it for a while until we have something we're all happy with.