Update lib/Core.php

Thanks to Geoff for noticing my mistake!