fixing broken compilation on placeholder term