Another microtypo