Minor style fix to donothing.js