Minor changes, and the inclustion of IntelliJ project file