Fixed a tiny bug I found