Weird but necessary cast to string