That was my initial gut feeling, but then noticed you did it like this in other places so I figured it was the expected way