Minor instructions tweak