Fixes #1: add licence information.