fix "mspec: handle shrinking virtual memory areas"