Fix gh-456: sophia: index size() is unsupported.