Hmm.. I didn't add this code, it already existed above; I just added the comments.
So I guess it's fine, unless people have been complaining about this behaviour? :)