Got one annoying warning to disappear by removing a redundant part of
the compilation.