Small correction to first post