add typed default value to width option