Added default-value initialization