A fix for syntax