Fix from Michael Wardle in bell error message