Bugfix: java.io.IOException