fix stupid bug in 5c4ccb7e
Sorry @geuzaine , I messed up my last commit as I said in merge request !398 (merged). The other commits were already thoroughly tested, so I'm pretty confident that it is ok now.
Sorry @geuzaine , I messed up my last commit as I said in merge request !398 (merged). The other commits were already thoroughly tested, so I'm pretty confident that it is ok now.