Add a useless dummy header