Fix compile bug

This fixes a compile bug that occurs with -DMONOLITH=OFF