Fix small syntax bug