Hotfix bug: Show violation source nullpointer