"Figure #:" is now only "#:"

[R. Lahaye]

Figure Float Inset:
Any idea what happened to the "Figure " in front of "#:".
It's gone in current CVS!

Cheers,
Rob.