Workaround for a bug in the CPLD.