The updated spec has been posted.