Minor changes, and the inclusion of the IntelliJ project file