more machines and typo in monadplus3