FSI 0.1.1: adding license headers