This probably doesn't need to be marked explicit any more