fixed a bug in View.hs