Small bug in cmake file