Fix for dev header