I'm not totally sure but I think both are correct. cc @fxn