#6417: Missing period.