fixed doc comment highlighting bug for comments of the form '/**/'