make sizeof(String) give proper byte counts. fixes #3352