Add (probably) accidentally deleted stuff back in.