Minor additions to the code