Comma after ``NullContext``