actually fix issue #4