Fix problem in top synopsis reported on IRC