Maybe. The problem is that there is no definitive answer on what is the right behaviour, so this could either be a bug or not.