[Il terzo principio] Minor fixes