This is the correct formatting for this construct.