minor modifs (small alex's comment on commit 909e7ce)