Minor fixes of syntax.