fixed a small type issue