Different notation for empty default value