spaces after defs