Fix header name in core.hh (close #37)