Bugfix, forgot a std:: declaration