Fixing my earlier committed screwup