add license header
formatting