Fix for inclusion error (development version accidently made its way into the github version).