Fix bug in error reporting in context-set-brush-size!