Patched an API-change problem.
Allowed s.size to be accessed through s.get.