Fixed a tiny bug