No actual punctuation after "Stephanus"