If I take a simple cube and inscribe a circle that is tangent to it's sides, and them push/pull to make a void, it leaves a face every time.
If I take the same geometry, but make the circle not tangent, it voids properly.
There's some kind of bug, I think. But I've only started using the program ten minutes ago. I'm good at finding weaknesses very quickly.