This may fail eventually. We should find a better way.