No actual punctuation after 'Regiomonti'