A bit of bash style tweak