just fixing a small mistake