Fix idents from copypasta