Switching the monitor worked. Wonder if an HDMI dummy plug, a virtual monitor emulator, would have helped.