Fix the problem with notation which prevented the compilation.