more procedural tests: typo