I left it out at first, but it seems the default is computed no matter what