Minor fix for the pub div