You are correct. In hindsight I was quite tired back then and probably thinking of 355/113 or an average between 3.14 and 22/7 (~= 3.14143) instead...