Nope, this is a bug. Many thanks for spotting it!