same fix for a couple of additional instructions