can't remember what happened here, but committing as is; this is
obsolete anyway