Just a tiny bit of code cleanup

Just a tiny nit, feel free to disregard.