Fixed minor bug in std include