revised specs for more modern syntax