Actually do the syntax correctly