Fixed a really minor bug