patch fix to #5