minot tweak as discussed in #7