vkprintf was improperly used here. Please fix!