type bugs

Comments