Remember, copyright holders are free to do with their code whatever they want, including giving permission or relicensing as they see fit.
That's entirely another matter And I'm sure that, once informed, the copyright holders (Felipe or Nokia or both) will deal properly with this issue.