fixed a nasty mistake