Fix #7: incorrect classnames contained in include