Fix issue 417, which caused bulletpoints in protips to be incorrectly indented.