minor type corrected