Tiny updates to make sure I have the right file