Adding BUGS file