fix tiny mistake