Copy-paste error for element type definition of 'header' and 'parameter'

Created by: jstohner

Pull request #753 now against experimental. Sorry for using master in #753.