I messed up things in the previous commit. Should learn a bit more about git. I think now things back to normal.