Turns out we did need to open System after all