Although not strictly necessary, we should escape this