Added a syntactic option