Fix wrong name in header.