Yeah, I double-checked and this is the correct behavior.