Pattern matching not needed here