Addressed now in 4ba6d47.