Update whatis.php

a small mistake corrected