Revert "comint 3"

This reverts commit a680f6717f6bba8245db00712e0f94f470d2833e.