sorry for mistakes in COPYING :(