Fixed broken syntax from latest CI prettifying update