Use yield() in case the user has redefined it to actually do something