Minor edits to make it compilable