Fixed some wrongly specified types