BUGS -- known bugs. 

BUGS ends here.