another tweak, related to #32