#554: fix a remaining bug in typemaps