Fix bug in RealTracey