fixed the header of tags form

so that we can compile on Mac smoothly