technically the formulation is correct as is, but Endre’s suggestion works as well—and might be preferred by normal people ;-)