about BUGS section in manual pages