IR: formatting nits.