Done. Pushed as a789f654a0f370720b2c6b7856b9971dcc1d5eb1

Thanks for the review.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |