BUG: Compilation error introduced when updating license information.