Changed header

Link to HyperTyper repo