Fixing a problem with compilation for Richard.