No actual punctuation after 'Stephanus'