first-push question: fix lint in the prompt reader and its test