minor fix follow up to issue #20