Fix license header

Noticed by:	jlh