Fixing the initializer for prod