Corrected type (an -> a)