Bugfix: InitializationProperties verifier that was not reset before use