marked a non-bug as such in file BUGS