fix issue #477