Fixed a bug in a figure of type-functor.