little correction as suggested in #1106