Added (forgotten) default value