small changes to type signatures