Fixed FIRST1 according to Dragon-book.