Fix highlighting for ghost machines.
Merge pull request #647 from kadams54/as-ghost-mv

Fix highlighting for ghost machines.