Thanks for the review! I pushed a modified version with commit 80eebee9f. -- Ricardo