oops, remove extra declaration; this isn't a template