copyright notices, fixes #135