Fix bug in fault renderer