minor tweak to v. 11