fix missing initializer (#3735)