Checker: checks stdin. Fixes #577