Fixed a bug with `