I've created #759.