fixed a bug that had turned the whole proposal into bold face