workaround closing #3