fixing a silly type