copyright, small fixes