Yupp, this is indeed a bug, thanks.