Fixed an error that would have come up later.