Fixed a bug in a figure of type-functor.
Merge branch 'master' into gh-pages