Minimum wage workers in the District got a raise over the weekend.

The D.C. minimum wage jumped to $13.25 an hour Sunday – the second phase of a four-year plan to gradually raise pay to $15 an hour by 2020, according to a release from the D.C. Department of Employment Services. Mayor Muriel Bowser initially signed onto the pay boost in June 2016 following unanimous support from the D.C. Council.

The minimum wage increased from $11.50 to $12.50 last summer and will rise again to $14 next year before topping out at $15 in 2020.

Tipped workers also received a small pay bump Sunday, with their minimum wage jumping from $3.33 an hour to $3.89. Their pay will hit $5 an hour by 2020, in accordance with the 2016 law, but D.C. residents voted last month to increase tipped employees’ wages to $15 an hour by 2025.