fix bug

fixes compilation error that slipped through.