I think I did that before #361, but forgot to update.