Fix one instance of erroneously casting JSON filesize to string