no need to explicitely list default value