If you have mistakenly typed "decls" instead of "decks", don't fret! Autocorrect might not be able to catch this common misspelling. To rectify it, simply replace "decls" with the correct spelling, "decks". Small errors like these can be easily rectified with a quick review!