add more instructions for checking; formatting