error() already prints a newline