doc/CREDITS: attribution added