Fix bug: was not able to release the machine