syntax-protect useless here