Doesn't seem like this is used anywhere, but I guess it's still good to have..