this is not required anymore (following #344)