Added int x. (fetched just before this request.)