fix header in mirror.lua
fix weird subdivision bug