Fix (generated by RMAC).