Fixes #5408: Display correct class prefix