minor tweaks
Merge https://github.com/oliviertilmans/Namuraid