hmm, I read it too fast. this is indeed fine