more procedural tests: typos