restore a wrong deletation for issue #38