This was fixed in 80e9ac5..be3ec1a