Renamed result-key to res-key.