fixed minor (non-fatal(?)) error