Bugfix for diagfrob.m