That seems larger than the usual 9/16ths. Good catch!
~Richard