Terribly minor improvement to the previous commit