As far as I can tell, this is correct.