Your find answered the question defintively.
Pequeno is more formal than the diminutive "inho". That's surely the reason why Hill wrote Sobral Pequeno instead of Sobralinho.
My 2 cents.