bugfix: deerminant inconsistently styled