fixed a small type mistake