and here, no cast needed