remove unneeded `(interactive)'