Revised per Markus Roberts' comment