more precise type for .. as now required by spec
partial spec update for #484