Fix tiny mistake