Bugfix: EOF not handled by FailureBehavior. Closes #1.