For the sake of clarity, add these snippets, even though they aren't needed.