minor fix on syntax