update where-spec

update where-spec