(ex-unix-type-shell-options): Fix :type.