fix some broken syntax