suggested corrections to typos in 2014-12-15-deriving