Samples Rendertheme V4: fix for a missing symbol