Patch applied as dfc27b63b901a862c46050890d190ea6bc98caf1.
Thanks.