Fix typo in biosdecode man page

This closes bug #41642.