tiny change

woops, forgot something