Fix incorrectly merged bits from 80cd2ff73071941a5356555b85a00ee90dfd0e16.