Must be. In fact the change to line 68 is probably not strictly necessary either.