BUGS and TODO added; header reformatted