bugfix in hw2_de270