BugFix: a field was not intialized.