Fix #303: generate header id the same as github