Fix some spldoc problems