Small bug in redb_function.