good point :) not that I changed this line in this PR (just moved it) but it's worth doing what you suggest!