Added another example over Q(sqrt(-2)).
Fixed a few more bugs.