added short copyright notice