BugFix: wrong usage of typedef