Fixed a tiny mistake