Everything works properly

Final version that will be submitted. May possibly change some more
things, but it can be submitted as is.