OK, sounds good. I'll merge this. Can you add a note about making this change as part of #71?