Missing attribute renaming for !DEBUG code