Ma allora "tricipidi" non era un errore di battitura