Agreed. It's a very minor use case anyway, and doesn't need to be called out.