fix #515, add missing license header