they are the same thing here, but you're right, fixed in 6a12ff2e1cce721a8e5cfd2f80e58c81b2877521