small after-fix related to issue #3