This is already covered on line 524, isn't it?