This is another instance of [this](https://github.com/FenixEdu/fenix/pull/101/files#r7442512).