Fix a missing ; and some more references to vm_page_busy() and vm_page_wakeup()