minor pseudo error