coding style

unnecessary prefix was added by accident years ago