Fixed small bug in cmake compilation