Fixes typeinfo after PR #1408 broke it.