I noticed another thing that is missing. These two parameters should be put through an assumption check for null. There should be corresponding tests for those two exit points.