Fix blocking issue of boogie