minor typo post 4027