removed: workaround (no longer needed)