changed document comment ending from ]]] to ]]--

changed document comment ending from ]]] to ]]--