Cool. Seems fine in that case (but might want to add a comment).