Ah, I guess that's a bug. (Though fixing it won't benefit players) But a bug is a bug. Thank you for reporting!