Deleted empty line (needed to commit something to force github to update the project page after a build error)