small tweak towards #152