This just simplifies the following code.