I hope I fixed a slight problem discovered by Thompzon