Yet another WTF code has been corrected. It was in
constructors of FunctionalPart