Yes that's clearly a bug :)