Re-pushed with that suggested change.  Can you look it over to see if that's what you had in mind?