Minor improvements in smlrcc & smlrl