Fix #10: add license information