Update benchmark based on #563