tiny fix to proposal