small fixes of the syntax