Minor change in compilation