Minor line changed to improve readability