small syntax edit