totally agree. Not something I needed in the PR though.