Fixed a bug relating to i31