fix syntax of code example