Why is this defined here?